2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems (Applied Logic Series, 35)
Автор:
Walter Carnielli
, Автор:
Marcelo Coniglio
, Автор:
Dov M. Gabbay
, Автор:
Paula Gouveia
, Автор:
Cristina Sernadas
Категория:
Математика
,
Прикладная математика
Размер книги: 3.91 Mb
Paraconsistency: The Logical Way to the Inconsistent (Lecture Notes in Pure and Applied Mathematics)
Автор:
Walter A. Carnielli
, Автор:
Marcelo E. Coniglio
Категория:
Математика
Размер книги: 35.76 Mb
Analysis and synthesis of logics: how to cut and paste reasoning systems
Автор:
Walter Carnielli
, Автор:
Marcelo Coniglio
, Автор:
Dov M. Gabbay
, Автор:
Paula Gouveia
, Автор:
Cristina Sernadas
Размер книги: 5.14 Mb
Analysis and Synthesis of Logics - How to Cut and Paste Reasoning Systems
Автор:
Walter Carnielli
, Автор:
Marcelo Coniglio
, Автор:
Dov M. Gabbay
, Автор:
Paula Gouveia
, Автор:
Cristina Sernadas
Размер книги: 5.26 Mb
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems (Applied Logic)
Автор:
Walter Carnielli
, Автор:
Marcelo Coniglio
, Автор:
Dov M. Gabbay
, Автор:
Paula Gouveia
, Автор:
Cristina Sernadas
Размер книги: 6.03 Mb
